XX. mendeko Euskararen Corpus estatistikoa
Testuingurua
Hau egia izanik, eta dugu.
Oharra. Segida bat konbergentea izatea ala ez espazioaren dependentzian dago.
Honela, segida konbergentea da -n baina ez -en, nahiz bietan ohizko metrika erabili.
Segidak eta metatze-puntuak 5.4. teorema
Biz segida konbergente bat, beronen limitea eta T multzo euskarria.
Orduan, bornatua da (segida bornatua dela esango dugu) -ren puntu atxekia da.
Frogapena Har dezagun
eta aplika diezaiogun limitearen definizioa
.
Biz .
Orduan, , beraz, T bornatua da.
-ren edozein ingurunek T-ren puntuak barne dituenez, da.